portability: use /bin/sh instead of /bin/bash

There is nothing requiring bash specific features in this script, so
just use /bin/sh which is portable amongst all Unices.

https://bugzilla.gnome.org/show_bug.cgi?id=679847

diff --git a/src/gnome-shell-extension-prefs.in b/src/gnome-shell-extension-prefs.in
index fa3725457a98dcca3f45249d08d4a21b9840e5e3..acc2cb17168a7dbfb5b48ef250f8aa1291d23a95 100644 (file)
--- a/src/gnome-shell-extension-prefs.in
+++ b/src/gnome-shell-extension-prefs.in
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 if [ -n "$GI_TYPELIB_PATH" ]; then
     export GI_TYPELIB_PATH=@pkglibdir@